退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间约束下sysmL活动图的定量验证框架
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir;
机译:时间约束下的SysML活动图定量验证框架
机译:SysML活动图的正式验证框架
机译:使用对Petri网的形式转换来验证SysML活动图
机译:将Sysml状态机图映射到时间Petri网进行分析和验证能源限制的嵌入式实时系统
机译:用于逻辑和定时验证的决策图算法
机译:通过高通量测序和实时定量PCR验证人参汤中的miRNA
机译:SysML活动图的安全验证框架
机译:用于验证整数约束的与算法无关的框架
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:时序图验证工具,时序图验证工具和时序图验证工具
机译:确定时序图中时间约束错误的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。